* etc/PROBLEMS: Remove yet more old stuff; more small edits
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:33:46 +0000 (21:33 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:33:46 +0000 (21:33 -0500)
commit14a44c345df082632ddc0c5bd340f859b44ff106
treef22d80346414e5dcd8c53d606d511ffa3bd68a05
parent8070d6af8356b919764cf13792b2b1aa1d7c8b36
* etc/PROBLEMS: Remove yet more old stuff; more small edits
etc/PROBLEMS